Uses of Class
edu.uky.ai.lp.logic.Conjunction
| Package | Description |
|---|---|
| edu.uky.ai.lp.logic |
Contains classes for representing logical formulas in function-free
predicate logic, unifiers, and knowledge bases.
|
-
Uses of Conjunction in edu.uky.ai.lp.logic
Methods in edu.uky.ai.lp.logic that return Conjunction Modifier and Type Method Description ConjunctionConjunction. substitute(Unifier unifier)